automation of syllogism
演绎推理自动化
热门查询
- den n. 贼窝，私室；兽穴，窝巢；小房间 vt. 把……赶进洞穴 vi. 藏到洞里；住在肮脏简陋的小房间里 n. (Den)人名；(日)传 (名)；(俄)杰恩；(法)德恩
- pile n. 堆；大量；建筑群 vt. 累积；打桩于 vi. 挤；堆积；积累 n. (Pile)人名；(西)皮莱；(英)派尔
- creaminess n. 乳脂状，含乳脂；乳脂色
- ledge n. 壁架；突出之部份；暗礁；矿层
- eugenics n. 优生学
- humvee n. 多用途轮式车辆，输送车
- wholewheat n. 全麦 adj. 用全麦做的
- catechetical adj. 问答式教学法的；问答式的
- Liberian adj. 利比里亚人的 n. 利比里亚人
- interquartile [经]四分点
- cabinetry n. 细工家俱
- wickede [地名] [德国] 维克德
- disguised 伪装的
- psychosocial adj. 社会心理的；心理社会学的
- Calabria 卡拉布里亚区[意大利行政区名]
- Greig 绸坯; 坯绸
- shortstop n. 游击手；速显液
- caller n. 访客；[通信] 呼叫者；打电话者；召集员 adj. 新鲜的 n. (Caller)人名；(西)卡列尔
- nova n. [天] 新星 n. (Nova)人名；(意、西、塞、葡)诺娃(女名)，诺瓦；(英)诺瓦
- scheduler n. 调度程序；制表人，计划员；程序机
考试词汇表
- completed shell
- completed works
- completely nest
- completely-nest
- completion bond
- completion code
- completion data
- completion date
- completion item
- completion port
- completion rate
- completion test
- completion time
- completion tool
- completion well
- complex absence
- complex algebra
- complex antigen
- complex bipolar
- complex builder
